软件可靠性测试充分性问题的理论研究

在分析了软件可靠性测试充分性准则研究的重要意义的基础上,阐述了软件测试充分性准则的概念、分类以及软件可靠性测试充分性准则与整个软件测试充分性准则体系的关系,提出了其在软件可靠性测试中的一种实现方法,是借鉴已有的软件测试充分性方面的理论,对软件可靠性测试充分性问题进行的初步探索.      

力/热环境下复合材料薄壁结构的分离动力学分析

基于显式动力学分析模拟了力/热环境下复合材料薄壁结构的分离过程，基于计及不确定性的Chang Chang失效准则评估了复合材料结构的可靠性，进而探究了气动力载荷和温度载荷对结构分离动力学以及复合材料结构强度可靠性的影响规律。结果表明：气动力载荷及温度的升高均会加速结构的分离过程；高温会显著影响结构脱离时刻的转动角度，进而改变了结构的脱离姿态；系统可靠性随温度载荷的升高而降低。     

Simulation study of motion of charged particles trapped in Earth’s magnetosphere

This article aims to understand the motion of the charged particles trapped in the Earth’s inner magnetosphere. The emphasis is on identifying the numerical scheme, which is appropriate to characterize the trajectories of the charged particles of different energies that enter the Earth’s magnetosphere and get trap along the magnetic field lines. These particles perform three different periodic motions, namely: gyration, bounce, and azimuthal drift. However, often, the gyration of the particle is ignored, and only the guiding center of the particle is traced to reduce the computational time. It is because the simulation of all three motions (gyro, bounce, and drift) together needed a robust numerical scheme, which has less numerical dissipation. We have developed a three-dimensional test particle simulation model in which the relativistic equation of motion is solved numerically using the fourth and sixth-order Runge-Kutta methods. The stability of the simulation model is verified by checking the conservation of total kinetic energy and adiabatic invariants linked with each type of motion. We found that the sixth-order Runge-Kutta method is suitable to trace the complete trajectories of both proton and electron of a wide energy range, 5 keV to 250 MeV for L = 2 – 6. We have estimated the bounce and drift periods from the simulations, and they are found to be in good agreement with the theory. The study implies that a simulation model with sixth-order Runge-Kutta method can be applied to the time-vary, non-analytical form of magnetic configuration in future studies to understand the dynamics of charged particles trapped in Earth’s magnetosphere.     

子空间跟踪算法在热模态问题中的应用研究

总结子空间跟踪算法识别模态参数的一般步骤。对一个有理论参考解的时变两自由度系统进行仿真,利用添加不同量级噪声的响应数据对系统进行辨识。辨识结果表明:基于新信息准则的子空间跟踪算法拥有较好的抗噪能力。对飞行器舵面结构进行受控快速加热,辨识快速升温过程中的模态参数。辨识结果表明:子空间跟踪算法可用于热模态辨识,有一定的工程应用价值。     

基于华氏宏观经济数学模型的高等职业教育动态投入产出模型

伴随着经济的发展和产业结构的变化,高等职业教育越来越受重视,高职教育的投入产出关系也引起了人们的关注。通过分析高职教育的投入产出关系,应用华氏宏观经济数学模型建立了高等职业教育动态投入产出模型。它对分析高职教育各项投入的效率具有实际意义。     

基于热力耦合层合板雷击损伤特性分析

为研究复合材料层合板在雷电流作用下的烧蚀损伤力学特性,建立复合材料雷击热力耦合有限元分析模型,与文献实验结果对比验证模型的有效性。根据Hashin三维失效准则编写用户材料子程序,分别得出层合板雷击烧蚀区域周围出现的力学损伤、各层力学损伤分布以及首层在不同方向上的应力分布,分析得出层合板的烧蚀损伤随雷电流持续时间的变化规律。结果表明:由于存在较高的温度梯度,导致层合板出现较大的热膨胀应力,进而导致层合板内部产生各种力学损伤,即基体开裂、分层及纤维断裂;雷击电流施加时间、峰值电流与温度场均对层合板烧蚀面积产生较大的影响。     

基于Neyman-Pearson准则的空间目标轨道机动检测方法

轨道机动检测是当前空间监视活动的重要需求之一。当卫星在脉冲小推力作用下发生轨道机动时，会引起目标卫星与伴飞卫星相对距离变化率的阶跃突变，由于测量噪声的存在，距离变化率的阶跃突变特征被淹没在测量噪声中，不容易被检测出来。针对该问题，提出了一种基于概率判决模型的轨道机动检测方法。该方法采用独立同分布高斯白噪声模型描述测量噪声，将距离变化率作为特征量用于变轨检测，把距离变化率的阶跃突变检测问题转化为概率判决问题，在虚警概率约束下，基于Neyman-Pearson准则求解序列数据的变轨判决门限，能够自适应地判断目标卫星是否发生轨道机动。通过不同幅度轨道机动下的仿真试验，验证了该方法的可行性与有效性。     

代理模型选样准则研究

致力于针对确定问题,利用其在已知空间中的样本信息指导该问题其他空间中的样本选择.基于Kriging模型和拉丁超立方设计选样方法,以某数学函数为例,首先研究了设计空间大小对样本选择的影响,然后具体分析了样本分布特性对代理模型预测误差的影响.引入了样本平均疏密度、样本稀疏度、样本紧凑度等概念衡量样本特性,依据不同空间中各参数与代理模型预测精度的关系提出了样本稀疏度准则,并以不同维数的数学函数和翼型气动力分析模型验证了准则的准确性和实用性.     

基于累积损伤的双基推进剂强度准则及实验

国内在对固体火箭发动机装药结构完整性分析时,强度判断准则基本采用传统的结构强度准则,这些强度准则并不能很好地反映固体推进剂材料的强度破坏过程。该文对双基推进剂试件进行了若干不同拉伸速率下的等速率拉伸破坏试验,结合试验数据获得损伤方程参数,建立了基于累积损伤的结构强度准则。并利用损伤方程预测试件破坏情况,和试验值吻合较好,说明该基于累积损伤的强度准则能够较好地判断双基推进剂材料的破坏。     

面向过失速机动的风洞动态试验相似准则探讨

为进行更加准确的风洞试验,讨论了针对过失速机动的风洞动态试验的相似准则问题。从六自由度运动方程推导出了进行动态风洞试验需要满足的运动相似参数;从N—S方程中得到满足流动相似的相似参数。针对不同类型的风洞动态试验,提出了具体对应的相似参数作为主要的模拟量。得到的结论可以为风洞动态试验参数选择提供参考。